Gradual negation types and the Python type system
jellezijlstra.github.io·9h·
Discuss: Hacker News
🔲Proof Irrelevance
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
Python Fundamentals: case
dev.to·4h·
Discuss: DEV
✅Format Verification
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·21h·
Discuss: Hacker News
✨Algebraic Effects
A Wide Reduction Trick (2022)
words.filippo.io·14h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Zig Interface Revisited
williamw520.github.io·1d·
Discuss: Hacker News
🧩WASM Components
How to actually use Model Context Protocol
seangoedecke.com·16h
⚡Proof Automation
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
Almost Always Auto (2013)
herbsutter.com·7h·
Discuss: Hacker News
🔒Type Safety
Converting Future to CompletableFuture With Java Virtual Threads
morling.dev·8h
🌊Streaming Systems
Go interfaces and json.Unmarshal
fbrs.io·21h
🔧Binary Parsers
How to generate a TypeScript SDK for your API spec
buildwithfern.com·23h·
Discuss: Hacker News
⚡gRPC
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·2h·
Discuss: DEV
🔄Lens Laws
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·2h
🔌Interface Evolution
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·5h
🦀Rust Macros
Why We Develop EloqDB Mainly in C++
eloqdata.com·2h·
Discuss: Hacker News
🦀Rust Borrowing